Propositional calculus - PDFSEARCH.IO - Document Search Engine

Propositional calculus
Results: 1046

#	Item
121	Sage Reference Manual: Symbolic Logic Release 6.7 The Sage Development Team Add to Reading List Source URL: doc.sagemath.org Language: English - Date: 2015-06-24 05:21:38 Mathematics Boolean algebra Semantics Logical connectives Tautology Truth table Conjunctive normal form Negation Sage Logic Propositional calculus Mathematical logic
122	•i. I PROBABILISTIC LOGICS AND THE SYNTHESIS OF RELIABLE ORGANISMS FROM UNRELIABlE COMPONENTS Add to Reading List Source URL: arep.med.harvard.edu Language: English - Date: 2015-03-01 08:45:15 Logic Propositional calculus Automaton Quantum dot cellular automaton Automata theory Theory of computation Mathematical logic
123	A Compact Forest for Scalable Inference over Entailment and Paraphrase Rules Roy Bar-Haim§ , Jonathan Berant⋆ , Ido Dagan§ § ⋆ Add to Reading List Source URL: www-nlp.stanford.edu Language: English - Date: 2014-07-26 23:52:02 Reasoning Formal languages Propositional calculus Inference Cyc Entailment Logic Logical consequence Deduction
124	The Premiss-Based Approach to Judgment Aggregation Franz Dietrich & Philippe Mongin December 2007 Abstract We investigate judgment aggregation by assuming that some formulas of the Add to Reading List Source URL: personal.lse.ac.uk Language: English - Date: 2008-01-31 05:56:33 Model theory Propositional calculus Semantics Order theory Boolean algebra Interpretation Filter Logic Mathematical logic Mathematics
125	Published in Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004, pages 236–250. By Reason and Authority: A System for Authorization of Proof-Carrying Code Nathan Whitehead Department of Computer Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:44 Model theory Formal methods Propositional calculus Predicate logic Function Lambda calculus Forcing Well-formed formula Atomic formula Logic Mathematical logic Mathematics
126	Embedding Deduction Modulo into a Prover Guillaume Burel Max Planck Institute for Informatics Saarland University Saarbr¨ ucken, Germany Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:11:07 Automated theorem proving Deduction Propositional calculus Rules of inference Sequent calculus Entailment Cut-elimination theorem Resolution Natural deduction Logic Mathematical logic Proof theory
127	JEFFREY C. KING WHAT IS A PHILOSOPHICAL ANALYSIS? (Received 24 JanuaryIt is common for philosophers to offer philosophical accounts or Add to Reading List Source URL: fas-philosophy.rutgers.edu Language: English - Date: 2011-03-21 20:18:32 Mathematical logic Philosophy of language Propositional calculus Ontology Semantics Proposition Function Interpretation Category of being Logic Philosophy Mathematics
128	Naming Proofs in Classical Propositional Logic Fran¸cois Lamarche Lutz Straßburger LORIA & INRIA-Lorraine Add to Reading List Source URL: www.loria.fr Language: English - Date: 2005-01-31 14:08:48 Natural deduction Curry–Howard correspondence Sequent calculus Entailment Cut-elimination theorem Sequent Linear logic Intuitionistic logic Soundness Logic Mathematical logic Proof theory
129	TERMINATION FOR HYBRID TABLEAUS THOMAS BOLANDER AND PATRICK BLACKBURN Abstract. This article extends and improves work on tableau-based decision methods for hybrid logic by Bolander and Bra¨ uner [5]. Their paper gives Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2007-04-02 08:29:00 Formal languages Logical syntax Philosophical logic Method of analytic tableaux Interpretation Entailment Modal logic Model theory Symbol Logic Metalogic Propositional calculus
130	Logical- and Meta-Logical Frameworks Lecture 3 Carsten Sch¨ urmann August 9, 2006 Add to Reading List Source URL: www.itu.dk Language: English - Date: 2006-08-09 04:38:59 Mathematical logic Programming language theory Dependently typed programming Twelf Logical framework Boolean algebra Propositional calculus Specific Area Message Encoding Functional completeness Logic in computer science Theoretical computer science Type theory

UPDATE